($\backslash$p.D (get\_int\_arg `i` p) p)